How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for (...) a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

This work explores the hypothesis that subjectively attributed meaning constitutes the phenomenal content of conscious experience. That is, phenomenal content is semantic. This form of subjective meaning manifests as an intrinsic and non-representational character of qualia. Empirically, subjective meaning is ubiquitous in conscious experiences. We point to phenomenological studies that lend evidence to support this. Furthermore, this notion of meaning closely relates to what Frege refers to as "sense", in metaphysics and philosophy of language. It also aligns with Peirce's "interpretant", (...) in semiotics. We discuss how Frege's sense can also be extended to the raw feels of consciousness. Sense and reference both play a role in phenomenal experience. Moreover, within the context of the mind-matter relation, we provide a formalization of subjective meaning associated to one's mental representations. Identifying the precise maps between the physical and mental domains, we argue that syntactic and semantic structures transcend language, and are realized within each of these domains. Formally, meaning is a relational attribute, realized via a map that interprets syntactic structures of a formal system within an appropriate semantic space. The image of this map within the mental domain is what is relevant for experience, and thus comprises the phenomenal content of qualia. We conclude with possible implications this may have for experience-based theories of consciousness. (shrink)

We report the results of four empirical studies designed to investigate the extent to which an epistemic closure principle for knowledge is reflected in folk epistemology. Previous work by Turri (2015a) suggested that our shared epistemic practices may only include a source-relative closure principle—one that applies to perceptual beliefs but not to inferential beliefs. We argue that the results of our studies provide reason for thinking that individuals are making a performance error when their knowledge attributions and denials conflict with (...) the closure principle. When we used research materials that overcome what we think are difficulties with Turri’s original materials, we found that participants did not reject closure. Furthermore, when we presented Turri’s original materials to non-philosophers with expertise in deductive reasoning (viz., professional mathematicians), they endorsed closure for both perceptual and inferential beliefs. Our results suggest that an unrestricted closure principle—one that applies to all beliefs, regardless of their source—provides a better model of folk patterns of knowledge attribution than a source-relative closure principle. (shrink)

A small consortium of philosophers has begun work on the implications of epistemic networks (Zollman 2008 and forthcoming; Grim 2006, 2007; Weisberg and Muldoon forthcoming), building on theoretical work in economics, computer science, and engineering (Bala and Goyal 1998, Kleinberg 2001; Amaral et. al., 2004) and on some experimental work in social psychology (Mason, Jones, and Goldstone, 2008). This paper outlines core philosophical results and extends those results to the specific question of thresholds. Epistemic maximization of certain types does show (...) clear threshold effects. Intriguingly, however, those effects appear to be importantly independent from more familiar threshold effects in networks. (shrink)

Conspiracy theories are rather a popular topic these days, and a lot has been written on things like the meaning of _conspiracy theory_, whether it’s ever rational to believe conspiracy theories, and on the psychology and demographics of people who believe conspiracy theories. But very little has been said about why people might be led to posit conspiracy theories in the first place. This paper aims to fill this lacuna. In particular, I shall argue that, in open democratic societies, citizens (...) justifiably presuppose that the epistemic authorities—journalists, academics, scientists, and so on—are engaged in a good faith pursuit of the truth. This presupposition generates certain normative expectations on the behaviors of the epistemic authorities—they ought to be open to new evidence, possess a healthy degree of skepticism, be willing to engage with opponents, and so on. So, when an epistemic authority is presented with some putatively anomalous data or an alternative hypothesis for some event or phenomena, people expect the epistemic authority to respond in a way that is consonant with these norms. In some instances, however, the epistemic authorities do not respond in this way and instead are dogmatic, dismissive, and engage in _ad hominem_. From the point of view of the citizen, there’s a tension here between how the epistemic authorities ought to behave and how they have, in fact, behaved which is best resolved either by taking the epistemic authorities less seriously or by positing a conspiracy theory. Put another way, the failure of the epistemic authorities to adhere to the norms by which we take them to be governed when presented with apparent anomalies or alternative hypotheses is one reason for which one might initially posit a conspiracy theory. (shrink)

Various philosophers have wanted to move from a (P.F.) “Strawsonian” understanding of the “practices of moral responsibility” to a non-skeptical result. I focus on a strategy moving from a “response-dependent” theory of responsibility. I aim to show that a key analogy associated with this strategy fails to support a compatibilist result. It seems clear that nothing could show that nothing we have been laughing at has really been funny. If “the funny” is similar to “the blameworthy”, then perhaps it would (...) follow that nothing could show that no one we have ever blamed has really been blameworthy. The comparison is interesting, but inconclusive: even if we grant that these properties are normatively similar, the latter has substantive empirical presuppositions, whereas the former does not. One important upshot: even if the standards operative in our practices cannot be mistaken, it could nevertheless be that no one has ever met these standards Ruling out this possibility seemingly requires re-engaging in all of the so-called "metaphysical" debates Strawsonians are keen to avoid. (shrink)

A scientific community can be modeled as a collection of epistemic agents attempting to answer questions, in part by communicating about their hypotheses and results. We can treat the pathways of scientific communication as a network. When we do, it becomes clear that the interaction between the structure of the network and the nature of the question under investigation affects epistemic desiderata, including accuracy and speed to community consensus. Here we build on previous work, both our own and others’, in (...) order to get a firmer grasp on precisely which features of scientific communities interact with which features of scientific questions in order to influence epistemic outcomes. (shrink)

Recently, philosophers have turned their attention to the question, not when a given agent is blameworthy for what she does, but when a further agent has the moral standing to blame her for what she does. Philosophers have proposed at least four conditions on having “moral standing”: -/- 1. One’s blame would not be “hypocritical”. 2. One is not oneself “involved in” the target agent’s wrongdoing. 3. One must be warranted in believing that the target is indeed blameworthy for the (...) wrongdoing. 4. The target’s wrongdoing must some of “one’s business”. -/- These conditions are often proposed as both conditions on one and the same thing, and as marking fundamentally different ways of “losing standing.” Here I call these claims into question. First, I claim that conditions (3) and (4) are simply conditions on different things than are conditions (1) and (2). Second, I argue that condition (2) reduces to condition (1): when “involvement” removes someone’s standing to blame, it does so only by indicating something further about that agent, viz., that he or she lacks commitment to the values that condemn the wrongdoer’s action. The result: after we clarify the nature of the non-hypocrisy condition, we will have a unified account of moral standing to blame. Issues also discussed: whether standing can ever be regained, the relationship between standing and our "moral fragility", the difference between mere inconsistency and hypocrisy, and whether a condition of standing might be derived from deeper facts about the "equality of persons". (shrink)

This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.

We are increasingly exposed to polarized media sources, with clear evidence that individuals choose those sources closest to their existing views. We also have a tradition of open face-to-face group discussion in town meetings, for example. There are a range of current proposals to revive the role of group meetings in democratic decision-making. Here, we build a simulation that instantiates aspects of reinforcement theory in a model of competing social influences. What can we expect in the interaction of polarized media (...) with group interaction along the lines of town meetings? Some surprises are evident from a computational model that includes both. Deliberative group discussion can be expected to produce opinion convergence. That convergence may not, however, be a cure for extreme views polarized at opposite ends of the opinion spectrum. In a large class of cases, we show that adding the influence of group meetings in an environment of self-selected media produces not a moderate central consensus but opinion convergence at one of the extremes defined by polarized media. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

Epistemic justifications for democracy have been offered in terms of two different aspects of decision-making: voting and deliberation, or ‘votes’ and ‘talk.’ The Condorcet Jury Theorem is appealed to as a justification in terms votes, and the Hong-Page “Diversity Trumps Ability” result is appealed to as a justification in terms of deliberation. Both of these, however, are most plausibly construed as models of direct democracy, with full and direct participation across the population. In this paper, we explore how these results (...) hold up if we vary the model so as to reflect the more familiar democratic structure of a representative hierarchy. We first recount extant analytic work that shows that representation inevitably weakens the voting results of the Condorcet Jury Theorem, but we question the ability of that result to shine light on real representative systems. We then show that, when we move from votes to talk, as modeled in Hong-Page, representation holds its own and even has a slight edge. (shrink)

There is a familiar debate between Russell and Strawson concerning bivalence and ‘the present King of France’. According to the Strawsonian view, ‘The present King of France is bald’ is neither true nor false, whereas, on the Russellian view, that proposition is simply false. In this paper, I develop what I take to be a crucial connection between this debate and a different domain where bivalence has been at stake: future contingents. On the familiar ‘Aristotelian’ view, future contingent propositions are (...) neither true nor false. However, I argue that, just as there is a Russellian alternative to the Strawsonian view concerning ‘the present King of France’, according to which the relevant class of propositions all turn out false, so there is a Russellian alternative to the Aristotelian view, according to which future contingents all turn out false, not neither true nor false. The result: contrary to millennia of philosophical tradition, we can be open futurists without denying bivalence. (shrink)

Variations on the ontological argument for most minimal and most mediocre beings.

At least since Aristotle's famous discussion of the sea-battle tomorrow in On Interpretation 9, philosophers have been fascinated by a rich set of interconnecte.

What structure of scientific communication and cooperation, between what kinds of investigators, is best positioned to lead us to the truth? Against an outline of standard philosophical characteristics and a recent turn to social epistemology, this paper surveys highlights within two strands of computational philosophy of science that attempt to work toward an answer to this question. Both strands emerge from abstract rational choice theory and the analytic tradition in philosophy of science rather than postmodern sociology of science. The first (...) strand of computational research models the effect of communicative networks within groups, with conclusions regarding the potential benefit of limited communication. The second strand models the potential benefits of cognitive diversity within groups. Examples from each strand of research are used in analyzing what makes modeling of this sort both promising and distinctly philosophical, but are also used to emphasize possibilities for failure and inherent limitations as well. (shrink)

It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for a (...) wrong that x has committed, then all cases in which x blames x (i.e. cases of self-blame) are rendered inappropriate. But it seems to be ethical common-sense that we are often, sadly, in position (indeed, excellent, privileged position) to blame ourselves for our own moral failings. And thus we have a paradox: a conflict between the inappropriateness of hypocritical blame, and the appropriateness of self-blame. We consider several ways of resolving the paradox, and contend none is as defensible as a position that simply accepts it: we should never blame ourselves. In defending this startling position, we defend a crucial distinction between self-blame and guilt. (shrink)

As well as disagreeing about how much one should donate to charity, moral theories also disagree about where one should donate. In light of this disagreement, how should the morally uncertain philanthropist allocate her donations? In many cases, one intuitively attractive option is for the philanthropist to split her donations across all of the charities that are recommended by moral views in which she has positive credence, with each charity’s share being proportional to her credence in the moral theories that (...) recommend that particular charity. Despite the fact that something like this approach is already being used by real-world philanthropists to distribute billions of dollars of donations, it is not supported by any of the approaches to moral uncertainty that have been proposed thus-far in the philosophical literature. In this paper, we will develop a bargaining-based approach to moral uncertainty that honors the proportionality intuition in favor of splitting one’s donations. We also show how this bargaining-based approach has several further advantages over the best alternative proposals. (shrink)

What is it for a sound or gesture to have a meaning, and how does it come to have one? In this paper, a range of simulations are used to extend the tradition of theories of meaning as use. The authors work throughout with large spatialized arrays of sessile individuals in an environment of wandering food sources and predators. Individuals gain points by feeding and lose points when they are hit by a predator and are not hiding. They can also (...) make sounds heard by immediate neighbours in the array, and can respond to sounds from immediate neighbours. No inherent meaning for these sounds is built into the simulation; under what circumstances they are sent, if any, and what the response to them is, if any, vary initially with the strategies randomized across the array. These sounds do take on a specific function for communities of individuals, however, with any of three forms of strategy change: direct imitation of strategies of successful neighbours, a localized genetic algorithm in which strategies are ‘crossed’ with those of successful neighbours, and neural net training on the behaviour of successful neighbours. Starting from an array randomized across a large number of strategies, and using any of these modes of strategy change, communities of ‘communicators’ emerge. Within these evolving communities the sounds heard from immediate neighbours, initially arbitrary across the array, come to be used for very specific communicative functions. ‘Communicators’ make a particular sound on feeding and respond to that same sound from neighbours by opening their mouths; they make a different sound when hit with a predator and respond to that sound by hiding. Robustly and persistently, even in simple computer models of communities of self-interested agents, something suggestively like signalling emerges and spreads. Keywords: meaning, communication, genetic algorithms, neural networks. (shrink)

Joe Horton argues that partial aggregation yields unacceptable verdicts in cases with risk and multiple decisions. I begin by showing that Horton’s challenge does not depend on risk, since exactly similar arguments apply to riskless cases. The underlying conflict Horton exposes is between partial aggregation and certain principles of diachronic choice. I then provide two arguments against these diachronic principles: they conflict with intuitions about parity, prerogatives, and cyclical preferences, and they rely on an odd assumption about diachronic choice. Finally, (...) I offer an explanation, on behalf of partial aggregation, for why these diachronic principles fail. (shrink)

We apply spatialized game theory and multi-agent computational modeling as philosophical tools: (1) for assessing the primary social psychological hypothesis regarding prejudice reduction, and (2) for pursuing a deeper understanding of the basic mechanisms of prejudice reduction.

This article proposes to develop the notion of professional situation from the standpoint of professional didactics. To do so, it proposes to first examine the notion of professional situation from the perspective of its contributions in terms of thinking about a few questions relating to vocational training. The notion of professional situation is then re-examined in connection with the notion of the work situation as used in professional didactics, then with the notion of situation: what it is, what it is (...) composed of, how it is learned, and how one can learn from it. Cet article propose de développer la notion de situation professionnelle, d’un point de vue de didactique professionnelle. Pour cela, il propose d’examiner d’abord la notion de situation professionnelle du point de vue de ce qu’elle peut apporter pour penser quelques questions de la formation professionnelle. La notion de situation professionnelle est ensuite reprise en relation avec la notion de situation de travail telle qu’elle est utilisée en didactique professionnelle, puis avec la notion de situation : ce qu’elle est, de quoi elle se compose, comment on l’apprend, comment on apprend d’elle. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

In order to understand the transmission of a disease across a population we will have to understand not only the dynamics of contact infection but the transfer of health-care beliefs and resulting health-care behaviors across that population. This paper is a first step in that direction, focusing on the contrasting role of linkage or isolation between sub-networks in (a) contact infection and (b) belief transfer. Using both analytical tools and agent-based simulations we show that it is the structure of a (...) network that is primary for predicting contact infection—whether the networks or sub-networks at issue are distributed ring networks or total networks (hubs, wheels, small world, random, or scale-free for example). Measured in terms of time to total infection, degree of linkage between sub-networks plays a minor role. The case of belief is importantly different. Using a simplified model of belief reinforcement, and measuring belief transfer in terms of time to community consensus, we show that degree of linkage between sub-networks plays a major role in social communication of beliefs. Here, in contrast to the case of contract infection, network type turns out to be of relatively minor importance. What you believe travels differently. In a final section we show that the pattern of belief transfer exhibits a classic power law regardless of the type of network involved. (shrink)

The Hong and Page ‘diversity trumps ability’ result has been used to argue for the more general claim that a diverse set of agents is epistemically superior to a comparable group of experts. Here we extend Hong and Page’s model to landscapes of different degrees of randomness and demonstrate the sensitivity of the ‘diversity trumps ability’ result. This analysis offers a more nuanced picture of how diversity, ability, and expertise may relate. Although models of this sort can indeed be suggestive (...) for diversity policies, we advise against interpreting such results overly broadly. (shrink)

P.F. Strawson’s (1962) “Freedom and Resentment” has provoked a wide range of responses, both positive and negative, and an equally wide range of interpretations. In particular, beginning with Gary Watson, some have seen Strawson as suggesting a point about the “order of explanation” concerning moral responsibility: it is not that it is appropriate to hold agents responsible because they are morally responsible, rather, it is ... well, something else. Such claims are often developed in different ways, but one thing remains (...) constant: they meant to be incompatible with libertarian theories of moral responsibility. The overarching theme of this paper is that extant developments of “the reversal” face a dilemma: in order to make the proposals plausibly anti-libertarian, they must be made to be implausible on other grounds. I canvas different attempts to articulate a “Strawsonian reversal”, and argue that none is fit for the purposes for which it is intended. I conclude by suggesting a way of clarifying the intended thesis: an analogy with the concept of funniness. The result: proponents of the “reversal” need to accept the difficult result that if we blamed small children, they would be blameworthy, or instead explain how their view escapes this result, while still being a view on which our blaming practices “fix the facts” of moral responsibility. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

I provide a manipulation-style argument against classical compatibilism—the claim that freedom to do otherwise is consistent with determinism. My question is simple: if Diana really gave Ernie free will, why isn't she worried that he won't use it precisely as she would like? Diana's non-nervousness, I argue, indicates Ernie's non-freedom. Arguably, the intuition that Ernie lacks freedom to do otherwise is stronger than the direct intuition that he is simply not responsible; this result highlights the importance of the denial of (...) the principle of alternative possibilities for compatibilist theories of responsibility. Along the way, I clarify the dialectical role and structure of “manipulation arguments”, and compare the manipulation argument I develop with the more familiar Consequence Argument. I contend that the two arguments are importantly mutually supporting and reinforcing. The result: classical compatibilists should be nervous—and if PAP is true, all compatibilists should be nervous. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

The paper takes up Bell's “Everett theory” and develops it further. The resulting theory is about the system of all particles in the universe, each located in ordinary, 3-dimensional space. This many-particle system as a whole performs random jumps through 3N-dimensional configuration space – hence “Tychistic Bohmian Mechanics”. The distribution of its spontaneous localisations in configuration space is given by the Born Rule probability measure for the universal wavefunction. Contra Bell, the theory is argued to satisfy the minimal desiderata for (...) a Bohmian theory within the Primitive Ontology framework. TBM's formalism is that of ordinary Bohmian Mechanics, without the postulate of continuous particle trajectories and their deterministic dynamics. This “rump formalism” receives, however, a different interpretation. We defend TBM as an empirically adequate and coherent quantum theory. Objections voiced by Bell and Maudlin are rebutted. The “for all practical purposes”-classical, Everettian worlds exist sequentially in TBM. In a temporally coarse-grained sense, they quasi-persist. By contrast, the individual particles themselves cease to persist. (shrink)

One important task of metaphysics is to answer the question of what it is for an object to exist. The first part of this book offers a systematic reconstruction and critique of contemporary views on existence. The upshot of this part is that the contemporary debate has reached an impasse because none of the considered views is able to formulate a satisfactory answer to this fundamental metaphysical question. The second part reconstructs Thomas Aquinas’s view on existence (esse) and argues that (...) it contributes a new perspective which allows us to see why the contemporary debate has reached this impasse. It has come to this point because it has taken a premise for granted which Aquinas’s view rejects, namely, that the existence of an object consists in something’s having a property. A decisive contribution of Aquinas’s theory of esse is that it makes use of the ideas of metaphysical participation and composition. In this way, it can be explained how an object can have esse without being the case that esse is a property of it. This book brings together a reconstruction from the history of philosophy with a systematic study on existence and is therefore relevant for scholars interested in contemporary or medieval theories of existence. (shrink)

Die Frage nach der Definition von Doping basiert nicht zuletzt auf naturwissenschaftlicher Forschung. Aus einer naturwissenschaftlichen Perspektive könnte man sogar behaupten, dass die aktuelle Dopingdebatte ihre Ursachen gerade in der pharmazeutischen Forschung hat, da sich das Problem des Dopings erst mit dem Vorhandensein entsprechender Mittel bzw. Methoden zur Leistungssteigerung stellt. Allerdings wird die Frage der Dopingdefinition im Folgenden nicht auf einen naturwissenschaftlichen Referenzrahmen reduziert, wie dies in den aktuellen Dopingdefinitionen häufig der Fall ist. Vielmehr werde ich die spezifische Rolle naturwissenschaftlicher (...) Forschung mit Blick auf die Dopingdefinition und die daraus resultierenden strukturellen Schwierigkeiten darstellen. (shrink)

This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...) This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

For an artificial agent to be morally praiseworthy, its rules for behaviour and the mechanisms for supplying those rules must not be supplied entirely by external humans. Such systems are a substantial departure from current technologies and theory, and are a low prospect. With foreseeable technologies, an artificial agent will carry zero responsibility for its behavior and humans will retain full responsibility.

These are my materials (a short precis, and replies to Alan Rhoda and Daniel Rubio) for an invited symposium on my book _The Open Future: Why Future Contingents are All False_ (OUP, 2021) in IJPR. [The commentaries from Rhoda/Rubio are available on their respective PhilPapers profiles.].

In this paper, I introduce a problem to the philosophy of religion – the problem of divine moral standing – and explain how this problem is distinct from (albeit related to) the more familiar problem of evil (with which it is often conflated). In short, the problem is this: in virtue of how God would be (or, on some given conception, is) “involved in” our actions, how is it that God has the moral standing to blame us for performing those (...) very actions? In light of the recent literature on “moral standing”, I consider God’s moral standing to blame on two models of “divine providence”: open theism, and theological determinism. I contend that God may have standing on open theism, and – perhaps surprisingly – may also have standing, even on theological determinism, given the truth of compatibilism. Thus, if you think that God could not justly both determine and blame, then you will have to abandon compatibilism. The topic of this paper thus sheds considerable light on the traditional philosophical debate about the conditions of moral responsibility. (shrink)

The plane was going to crash, but it didn't. Johnny was going to bleed to death, but he didn't. Geach sees here a changing future. In this paper, I develop Geach's primary argument for the (almost universally rejected) thesis that the future is mutable (an argument from the nature of prevention), respond to the most serious objections such a view faces, and consider how Geach's view bears on traditional debates concerning divine foreknowledge and human freedom. As I hope to show, (...) Geach's view constitutes a radically new view on the logic of future contingents, and deserves the status of a theoretical contender in these debates. (shrink)

Descartes’ demon is a deceiver: the demon makes things appear to you other than as they really are. However, as Descartes famously pointed out in the Second Meditation, not all knowledge is imperilled by this kind of deception. You still know you are a thinking thing. Perhaps, though, there is a more virulent demon in epistemic hell, one from which none of our knowledge is safe. Jonathan Schaffer thinks so. The “Debasing Demon” he imagines threatens knowledge not via the truth (...) condition on knowledge, but via the basing condition. This demon can cause any belief to seem like it’s held on a good basis, when it’s really held on a bad basis. Several recent critics, Conee, Ballantyne & Evans ) grant Schaffer the possibility of such a debasing demon, and argue that the skeptical conclusion doesn’t follow. By contrast, we argue that on any plausible account of the epistemic basing relation, the “debasing demon” is impossible. Our argument for why this is so gestures, more generally, to the importance of avoiding common traps by embracing mistaken assumptions about what it takes for a belief to be based on a reason. (shrink)

In response to criticism, we often say – in these or similar words – “Let’s see you do better!” Prima facie, it looks like this response is a challenge of a certain kind – a challenge to prove that one has what has recently been called standing. More generally, the data here seems to point a certain kind of norm of criticism: be better. Slightly more carefully: One must: criticize x with respect to standard s only if one is better (...) than x with respect to standard s. In this paper, I defend precisely this norm of criticism – an underexplored norm that is nevertheless ubiquitous in our lives, once we begin looking for it. The be better norm is, I hope to show, continuously invoked in a wide range of ordinary settings, can undergird and explain the widely endorsed non-hypocrisy condition on the standing to blame, and apparent counterexamples to the norm are no such counterexamples at all. I further contend that, given some plausible principles, my previous “moral commitment” account of the moral standing to blame will be extensionally equivalent to the be better norm. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

This article proposes to develop the notion of professional situation from the standpoint of professional didactics. To do so, it proposes to first examine the notion of professional situation from the perspective of its contributions in terms of thinking about a few questions relating to vocational training. The notion of professional situation is then re-examined in connection with the notion of the work situation as used in professional didactics, then with the notion of situation: what it is, what it is (...) composed of, how it is learned, and how one can learn from it. -/- Cet article propose de développer la notion de situation professionnelle, d’un point de vue de didactique professionnelle. Pour cela, il propose d’examiner d’abord la notion de situation professionnelle du point de vue de ce qu’elle peut apporter pour penser quelques questions de la formation professionnelle. La notion de situation professionnelle est ensuite reprise en relation avec la notion de situation de travail telle qu’elle est utilisée en didactique professionnelle, puis avec la notion de situation : ce qu’elle est, de quoi elle se compose, comment on l’apprend, comment on apprend d’elle. (shrink)

In a series of formal studies and less formal applications, Hong and Page offer a ‘diversity trumps ability’ result on the basis of a computational experiment accompanied by a mathematical theorem as explanatory background (Hong & Page 2004, 2009; Page 2007, 2011). “[W]e find that a random collection of agents drawn from a large set of limited-ability agents typically outperforms a collection of the very best agents from that same set” (2004, p. 16386). The result has been extremely influential as (...) an epistemic justification for diversity policy initiatives. Here we show that the ‘diversity trumps ability’ result is tied to the particular random landscape used in Hong and Page’s simulation. We argue against interpreting results on that random landscape in terms of ‘ability’ or ‘expertise.’ These concepts are better modeled on smother and more realistic landscapes, but keeping other parameters the same those are landscapes on which it is groups of the best performing that do better. Smoother landscapes seem to vindicate both the concept and the value of expertise. Change in other parameters, however, also vindicates diversity. With an increase in the pool of available heuristics, diverse groups again do better. Group dynamics makes a difference as well; simultaneous ‘tournament’ deliberation in a group in place of the ‘relay’ deliberation in Hong and Page’s original model further emphasizes an advantage for diversity. ‘Tournament’ 2 dynamics particularly shows the advantage of mixed groups that include both experts and non-experts. As a whole, our modeling results suggest that relative to problem characteristics and conceptual resources, the wisdom of crowds and the wisdom of the few each have a place. We regard ours as a step toward attempting to calibrate their relative virtues in different modelled contexts of intellectual exploration. (shrink)

This Introduction has three sections, on "logical fatalism," "theological fatalism," and the problem of future contingents, respectively. In the first two sections, we focus on the crucial idea of "dependence" and the role it plays it fatalistic arguments. Arguably, the primary response to the problems of logical and theological fatalism invokes the claim that the relevant past truths or divine beliefs depend on what we do, and therefore needn't be held fixed when evaluating what we can do. We call the (...) sort of dependence needed for this response to be successful "dependence with a capital 'd'": Dependence. We consider different accounts of Dependence, especially the account implicit in the so-called "Ockhamist" response to the fatalistic arguments. Finally, we present the problem of future contingents: what could "ground" truths about the undetermined future? On the other hand, how could all such propositions fail to be true? (shrink)

Our purpose in this article is to draw attention to a connection that obtains between two dilemmas from two separate spheres: sports and the law. It is our contention that umpires in the game of cricket may face a dilemma that is similar to a dilemma confronted by legal decision makers and that comparing the nature of the dilemmas, and the arguments advanced to solve them, will serve to advance our understanding of both the law and games.

In the practical philosophy of the Discours de la Méthode, before the theoretical metaphysics of Part Four and the Meditationes, Descartes gives us an inductive argument that his method, the procedure and cognitive psychology, is veracious at its inception. His evidence, akin to his Scholastic predecessors, is God, a maximally perfect being, established an ontological foundation for knowledge such that reason and nature are isomorphic. Further, the method, he tells us, is a functional definition of human reason; that is, like (...) other rationalists during this period, he holds the structure of reason maps onto the world. The evidence for this thesis is given in what I call the groundwork to Descartes’ philosophical system, essentially the first half of the Discours, where, through a series of examples in the preamble of Part Two, he, step-by-step, ascends from the perfection of artifacts through the imposition of reason to the perfection of a constituent’s use of her cognitive faculties, to God perfecting and ordering reality. Finally, he descends, establishing the structure of human reason, which undergirds and entails the procedure of the method. (shrink)

A first take, matured in later work, in modeling belief polarization.

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, we will develop (...) and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

Incompatibilism about responsibility and determinism is sometimes directly construed as the thesis that if we found out that determinism is true, we would have to give up the reactive attitudes. Call this "the consequence". I argue that this is a mistake: the strict modal thesis does not entail the consequence. First, some incompatibilists (who are also libertarians) may be what we might call *resolute responsibility theorists* (or "flip-floppers"). On this view, if we found out that determinism is true, this would (...) not be to find out that no one is responsible; instead, what this would suggest is that incompatibilism is after all false. Second, some incompatibilists may instead deny the claim that if we found out that no one deserves the reactiveattitudes, we would have to give up the reactive attitudes. Call this position *innocent incompatibilism*. I explore several different reasons why the fact that no one deserves the reactive attitudes likely does not translate into a requirement for us to give up the reactive attitudes. The upshot: incompatibilism may be practically irrelevant, even if true. (shrink)